Verification tasks. Verify the following properties:
1. Memory Safety